deny automata